"Lubos Brim" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Категория: Техника

3.48 Mb

#2

Mathematical Foundations of Computer Science 1998, 23 conf., MFCS'98

Lubos Brim, Josef Gruska, Jiri Zlatuska

Категория: Cs_Computer science, CsLn_Lecture notes

11.70 Mb

#3

CONCUR 2002 - Concurrency Theory, 13 conf

Lubos Brim, Petr Jancar, Mojmir Kretinsky, Antonin Kucera

Категория: Cs_Computer science, CsLn_Lecture notes

4.76 Mb

#4

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th

Lubos Brim, Boudewijn Haverkort

5.06 Mb